home *** CD-ROM | disk | FTP | other *** search
/ Shareware Grab Bag / Shareware Grab Bag.iso / 090 / pctj1186.arc / ONERULE.PRO < prev    next >
Text File  |  1986-09-19  |  117b  |  6 lines
  1. /* 30,000 logical inferences */
  2. f(X) :- Y is X-1,
  3.         Y > 0,
  4.         f(Y).
  5. /* Initial goal: ?- f(10000). */
  6.